i* Modules: a jUCMNav Implementation
نویسندگان
چکیده
When building large-scale goal-oriented models using the i* framework, the problem of scalability arises. Modules have been proposed to structure i* models into reusable and combinable fragments. In this work we present an implementation of the module concept over the jUCMNav tool.
منابع مشابه
THE CONCEPT OF (I; J)-COHEN MACAULAY MODULES
We introduce a generalization of the notion of depth of an ideal on a module by applying the concept of local cohomology modules with respect to a pair of ideals. We also introduce the concept of $(I,J)$-Cohen--Macaulay modules as a generalization of concept of Cohen--Macaulay modules. These kind of modules are different from Cohen--Macaulay modules, as an example shows. Also an art...
متن کاملFINITENESS PROPERTIES OF LOCALE COHOMOLOGY MODULES FOR (I;J)- MINIMAX MODULES
ABSTRACT. Let R be a commutative noetherian ring, I and J are two ideals of R. Inthis paper we introduce the concept of (I;J)- minimax R- module, and it is shown thatif M is an (I;J)- minimax R- module and t a non-negative integer such that HiI;J(M) is(I;J)- minimax for all i
متن کاملTowards Advanced Goal Model Analysis with jUCMNav
Goal modeling is an important part of various types of activities such as requirements engineering, business management, and compliance assessment. The Goal-oriented Requirement Language is a standard and mature goal modeling language supported by the jUCMNav tool. However, recent applications of GRL to a regulatory context highlighted several analysis issues and limitations whose resolutions a...
متن کاملON GRADED LOCAL COHOMOLOGY MODULES DEFINED BY A PAIR OF IDEALS
Let $R = bigoplus_{n in mathbb{N}_{0}} R_{n}$ be a standardgraded ring, $M$ be a finitely generated graded $R$-module and $J$be a homogenous ideal of $R$. In this paper we study the gradedstructure of the $i$-th local cohomology module of $M$ defined by apair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. Moreprecisely, we discuss finiteness property and vanishing of thegraded components $H^...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011